minios: Disable -DGNT_DEBUG and -DGNTMAP_DEBUG
authorMatthew Fioravante <matthew.fioravante@jhuapl.edu>
Tue, 13 Nov 2012 10:46:56 +0000 (10:46 +0000)
committerMatthew Fioravante <matthew.fioravante@jhuapl.edu>
Tue, 13 Nov 2012 10:46:56 +0000 (10:46 +0000)
commitd9740f716d02ef6513b77cf8ebef3146b6fd6173
tree3971b63260685e3b30956bd64ad63e806f610654
parent3c6881d8d00fbdea64be3b67a41b654da7c71b2d
minios: Disable -DGNT_DEBUG and -DGNTMAP_DEBUG

Disabling the above flags in default mini-os build. They generate a
lot of spam.

Signed-off-by: Matthew Fioravante <matthew.fioravante@jhuapl.edu>
Acked-by: Samuel Thibault <samuel.thibault@ens-lyon.org>
Committed-by: Ian Campbell <ian.campbell@citrix.com>
extras/mini-os/minios.mk